6

Finite automata on timed ω-trees

Year:
2003
Language:
english
File:
PDF, 264 KB
english, 2003
7

Succinctness of descriptions of SBTA-languages

Year:
1997
Language:
english
File:
PDF, 1.50 MB
english, 1997
9

Timed tree automata with an application to temporal logic

Year:
2001
Language:
english
File:
PDF, 210 KB
english, 2001
11

Weak Muller acceptance conditions for tree automata

Year:
2005
Language:
english
File:
PDF, 277 KB
english, 2005
12

A Model of Finite Automata on Timed ω-Trees

Year:
2001
Language:
english
File:
PDF, 189 KB
english, 2001
22

Parametric metric interval temporal logic

Year:
2015
Language:
english
File:
PDF, 610 KB
english, 2015
23

PREFACE

Year:
2012
Language:
english
File:
PDF, 81 KB
english, 2012
30

Automata-based Representations for Infinite Graphs

Year:
2001
Language:
english
File:
PDF, 247 KB
english, 2001